1. A Beginner's Guide to Scala, Object Orientation and Functional Programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

2. A beginner's guide to Scala, object orientation and functional programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)

رده :
QA76
.
7

3. A beginners guide to Python 3 programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Python (Computer program language),Python (Computer program language)

رده :
QA76
.
73
.
P98
H86
2019

4. A course in convexity /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)

رده :
QA639
.
5
.
B37
2002

5. A course in convexity /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)

رده :
QA639
.
5
.
B37
2002

6. A new kind of computational biology :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cellular automata.,Computational biology.,Computation by Abstract Devices.,Computational Biology/Bioinformatics.,Microbial Genetics and Genomics.,Proteomics.,Cellular automata.,Computational biology.,Computers-- Computer Science.,Computers-- Machine Theory.,Life sciences: general issues.,Microbiology (non-medical),Proteins.,Science-- Life Sciences-- Biochemistry.,Science-- Life Sciences-- Biology-- Microbiology.,User interface design & usability.

رده :
QA267
.
5
.
C45

7. A tight, practical integration of relations and functions

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases

رده :
QA
76
.
L28
Vol
.
1712

8. ACM Turing Award lectures :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :
QA76
.
24
.
A33
1987

9. AQA A level Computer Science.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76

10. Abdominal imaging :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Abdomen-- Diseases-- Imaging, Congresses,Abdomen-- Imaging, Congresses

رده :
RC944

11. Actors in Scala

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)

رده :
QA76
.
73
.
S28
H35
2011

12. Adapting proofs-as-programs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :
E-BOOK

13. Adapting proofs-as-programs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :
E-BOOK

14. Advanced functional programming

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses. ;

15. Advanced functional programming

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;

16. Advanced functional programming :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses ;

17. Advanced functional programming :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses ;

18. Advanced functional programming : Second International School Olympia, Wa, USA, August 26-30, 1996: Tutorial Text

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Functional programming )Computer science(

رده :
QA
76
.
L28
Vol
.
1129

19. Advanced functional programming : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Functional programming )Computer science(

رده :
QA
76
.
L28
Vol
.
1608

20. Advanced functional programming: Third International School, AFP '98, Braga, Portugal, September 12-19, 1998: revised lectures

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Functional programming )Computer science(

رده :
QA
76
.
62
.
A39
1998